x86_64: Initialise upper half of 32-bit parameter registers when
authorKeir Fraser <keir.fraser@citrix.com>
Mon, 31 Mar 2008 15:32:33 +0000 (16:32 +0100)
committerKeir Fraser <keir.fraser@citrix.com>
Mon, 31 Mar 2008 15:32:33 +0000 (16:32 +0100)
commit0aa49ebc5e3f9061f5e9d2d94ec29a994f663493
tree1807aa816459bb9703e90ba3e40a3fdd3757609e
parentc0b0636f388fcbdc168e8254188d7f145ecdab98
x86_64: Initialise upper half of 32-bit parameter registers when
making Target Mode BIOS call. Fixes boot problems with some buggy
BIOSes.
Signed-off-by: Keir Fraser <keir.fraser@citrix.com>
xen/arch/x86/boot/trampoline.S